TAGs: Inductive examples